Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
101	Learning Semantic String Transformations from Examples ∗ Rishabh Singh Microsoft Research, Redmond, WA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-08 00:48:53 Automata theory Mathematics String Comparison of programming languages Regular expression Scheme Natural transformation Finite-state machine S-expression Computing Formal languages Software engineering
102	Lemma 1 Ref: DS/FMU/FEF/006 DRA FRONT END FILTER PROJECT Issue: Revision : 4 .3 Security Conjecture for the SSQL Abstract Machine Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:10 Models of computation Procedural programming languages Automata theory Finite-state machine ALGOL 68 SQL Abstraction Set Computing Software engineering Computer programming
103	Journal of Digital Forensics, Security and Law, VolColumn: The Physics of Digital Information-Part 21 Fred Cohen Add to Reading List Source URL: all.net Language: English - Date: 2012-09-01 08:58:29 Finite-state machine Digital electronics Cryptographic hash function Forensic science Hash function Digital signature Cryptography Electronic engineering Automata theory
104	How to Submit Your Final Camera-Ready Paper for the Genetic Programming 1998 Conference (GP-98) Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:20 Technology Genetic algorithm Automaton Finite-state machine Cellular automaton Automata theory Theory of computation Theoretical computer science
105	Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:51 Nested word Words Computer science Models of computation Mathematics Regular tree grammar Finite-state machine Binary tree Tree Automata theory Formal languages Theoretical computer science
106	Requirements Engineering Conference 2004, Kyoto, Japan Composing Requirements Using Problem Frames Robin Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh Dept. of Computing, The Open University, Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-05-21 13:08:10 Problem frames approach Systems analysis Models of computation Requirement Aspect-oriented software development Communications protocol Finite-state machine Software Requirements Specification Control theory Software development Software requirements Systems engineering
107	Cellular Engineering M. Burgin Department of Mathematics University of California, Los Angeles 405 Hilgard Avenue Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Cellular automaton Theoretical computer science Mathematics Finite-state machine Reversible cellular automaton Cellular automata Theory of computation Automata theory
108	The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:59 Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science
109	A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-11 17:28:03 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton DFA Records Finite-state machine Algorithm Counterexample Regular expression Automata theory Models of computation Theoretical computer science
110	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation